Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
30/05/1996 |
Data da última atualização: |
17/08/2007 |
Autoria: |
BARROS, R. S. M. de. |
Título: |
Specification and derivation of relational database programs. |
Ano de publicação: |
1995 |
Fonte/Imprenta: |
In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
Volume: |
v.1 |
Páginas: |
p.387-398 |
Idioma: |
Inglês |
Conteúdo: |
The development of database applications is usually carried out informally. The derivation of database programs directly from formal specification is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However difficult in general, deriving relational database applications directly from z specifications satisfyng a certain set of rules (the method) is not arduous. With appropriate tool support, writting formal specifications according to the method and deriving the corresponding relational database programs can be straightforward. Moreover, it should produce code which is standardized and thus easier to understand and maintain. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01324naa a2200145 a 4500 001 1002571 005 2007-08-17 008 1995 bl uuuu u00u1 u #d 100 1 $aBARROS, R. S. M. de 245 $aSpecification and derivation of relational database programs. 260 $c1995 300 $ap.387-398 v.1 490 $vv.1 520 $aThe development of database applications is usually carried out informally. The derivation of database programs directly from formal specification is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However difficult in general, deriving relational database applications directly from z specifications satisfyng a certain set of rules (the method) is not arduous. With appropriate tool support, writting formal specifications according to the method and deriving the corresponding relational database programs can be straightforward. Moreover, it should produce code which is standardized and thus easier to understand and maintain. 773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|